package expression.integer;

import core.Universe;

public abstract class IntCstExpr extends IntExpr {
	
	public IntCstExpr(Universe u) {
		super(u);
	}

	public abstract int compute();
}
